<!doctype html>
<html>

	<style>
    html, body { 
        width: 100%;    /* make the body expand to fill the visible window */
        height: 100%;
        overflow: hidden;;      /* erase window level scrollbars */
        padding: 0 0 0 0;
        margin: 0 0 0 0;
    }
	</style>

	<head>
		<meta http-equiv="content-type" content="text/html; charset=UTF-8">
	
		<!--                                           -->
		<!-- Any title is fine                         -->
		<!--                                           -->
		

		<!--                                           -->
		<!-- This script loads your compiled module.   -->
		<!-- If you add any GWT meta tags, they must   -->
		<!-- be added before this line.                -->
		<!--                                           -->
		<script language="javascript" src="com.sri.ai.lpitools.gwtgui.client/com.sri.ai.lpitools.gwtgui.client.nocache.js"></script>
		<script src="com.sri.ai.lpitools.gwtgui.client/ace/ace.js" type="text/javascript" charset="utf-8"></script>
		<script src="com.sri.ai.lpitools.gwtgui.client/ace/theme-eclipse.js" type="text/javascript" charset="utf-8"></script>
		<script src="com.sri.ai.lpitools.gwtgui.client/ace/mode-lpimodel.js" type="text/javascript" charset="utf-8"></script>		

		<!--                                                               -->
		<!-- Consider inlining CSS to reduce the number of requested files -->
		<!--                                                               -->
		<link type="text/css" rel="stylesheet" href="client.css">

	</head>

	<!--                                           -->
	<!-- The body can have arbitrary html, or      -->
	<!-- we leave the body empty because we want   -->
	<!-- to create a completely dynamic ui         -->
	<!--                                           -->
	<body>

	</body>

</html>
